<?php
	echo json_encode($coordenadas_ruta);
?>